First Order Relational Logic